-
1 proof by perfect induction
Универсальный англо-русский словарь > proof by perfect induction
-
2 доказательство методом математической индукции
Русско-английский политехнический словарь > доказательство методом математической индукции
-
3 доказательство
proof матем.* * *доказа́тельство с.
proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without proofдоказа́тельство предлага́ется привести́ чита́телю — proof will be left to the readerдедукти́вное доказа́тельство — deductive proofко́свенное доказа́тельство — indirect proofдоказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect inductionнесводи́мое доказа́тельство — irreducible proofнестро́гое доказа́тельство — nonrigorous proofдоказа́тельство от проти́вного — proof by contradictionдоказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustionстро́гое доказа́тельство — rigorous proofдоказа́тельство существова́ния — existence proof* * * -
4 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
5 доказательство методом математической индукции
Engineering: proof by perfect inductionУниверсальный русско-английский словарь > доказательство методом математической индукции
-
6 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom
См. также в других словарях:
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Induction — • Induction is the conscious mental process by which we pass from the perception of particular phenomena (things and events) to the knowledge of general truths Catholic Encyclopedia. Kevin Knight. 2006. Induction Induction … Catholic encyclopedia
Coalition-proof Nash equilibrium — The concept of coalition proof Nash equilibrium applies to certain noncooperative environments in which players can freely discuss their strategies but cannot make binding commitments [1]. It emphasizes the immunization to deviations that are… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Ibn al-Haytham — Infobox Muslim scholars | notability = Muslim scientist| era = Islamic Golden Age| color = #cef2e0 | | image caption = Ibn al Haytham drawing taken from a 1982 Iraqi 10 dinar note. | | name = Unicode|Abū ‘Alī al Ḥasan ibn al Ḥasan ibn al Haytham… … Wikipedia
Alhazen — For the Moon crater, see Alhazen (crater). For the asteroid, see 59239 Alhazen. Alhazen Alhazen (Ibn al Haytham) … Wikipedia
History of mathematics — A proof from Euclid s Elements, widely considered the most influential textbook of all time.[1] … Wikipedia
Dilworth's theorem — In mathematics, in the areas of order theory and combinatorics, Dilworth s theorem characterizes the width of any finite partially ordered set in terms of a partition of the order into a minimum number of chains. It is named for the mathematician … Wikipedia
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium
Fibonacci number — A tiling with squares whose sides are successive Fibonacci numbers in length … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia